COMMENT ⊗   VALID 00007 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.device XGP
C00006 00003	.insert contents
C00007 00004	.twocol BEGIN "THESES"
C00008 00005	.<< Contents >>
C00009 00006	.count section skip 200
C00012 00007	.if false then start "updating films pubs and aims"
C00015 ENDMK
C⊗;
.device XGP;
.require "bask.pub[sub,sys]" source_file;
.font 5 "grfx25";
.font A "ms25"
.sides←2;
.require "twocol.pub[sub,sys]" source_file;
.macro sskip	⊂ skip to column 1⊃;	<< section skip control >>
.
.MACRO YON(LBL)  ⊂ "Section "; SUB2! LBL ⊃;
.
.MACRO SUB(IND) ⊂ INDENT 0,IND; TABS IND+1;⊃
.
.MACRO IB ⊂ turn on "%";
.AT """" ⊂ (IF THISFONT=1 THEN "%3" ELSE "%1"); ⊃
.AT "<" ⊂ "%2" ⊃;  AT ">" ⊂ "%1" ⊃;
. ⊃

.MACRO BIB  ⊂
.   BEGIN INDENT 0,3; NOJUST; IB;
.   AT "AIM-" ⊂ "Stanford AI Memo AαIαMα-" ⊃;
.   COUNT exref TO 200
.   AT "⊗" ⊂ IF LINES<3 THEN NEXT COLUMN; NEXT EXREF; ("["&EXREF&"]  ") ⊃
.   ⊃;
.at "//pers";	⊂ once fill nojust; indent 0,5; ib; turn on "#";
.  at "sra"	⊂ "%2Student Research Assistants:%1"	⊃
.  ("%3Personnel: %1");
.  ⊃;
.
.recursive MACRO GET(FILE) ⊂ BEGIN "FILE"
.REQUIRE "FILE" SOURCE;
.END "FILE"
. ⊃

.SECNAME←"";
.count page from 1 to 999
.fill nojust
.insert contents;
.portion some; place text;
.next page; next page;
.next section;
.  SEND CONTENTS ⊂ SKIP
∩∩6:1.  Introduction→∪∪1
. ⊃
.fill nojust
.get "fr"
.get mtc
.get pv
.get image
.>>
.<<
.twocol; BEGIN "THESES"
.macro thes ⊂
.ib; crbreak; nojust; preface 0; turn on "→";
.AT "AIM-" NUM "," NAME "," ⊂ if lines<5 then next column else skip;
NAME,→AαIαMα-NUM
. ⊃
.at "Thesis: " subject "," ⊂ "%2subject,%1" ⊃;
.⊃

.require "theses[bib,doc]" source;
.end "THESES";

.APP Film Reports

Prints of the following films are available for distribution.
This list is kept in diskfile FILMS [BIB,DOC] @SU-AI.

.GET "filmus[pub,act]";

.get "pubs[pub,act]";
.get "aims[pub,act]";

.<< Contents >>
.COUNT PAGE
.secname←ssname←null;
.PORTION CONTENTS
.begin "contents"
.  FILL NOJUST CRBREAK TURN ON "%∂←→"
.  turn on "∪" for "#";
.
.  AT "∩∩" LMIN ":" ⊂ IF LINES<LMIN THEN BEGIN
.	skip 200; SELECT 3
∂5Section→Page
.	SKIP;
.	END
.	⊃;

.cb Table of Contents
.  INDENT 0,10,3; PREFACE 0; SELECT 3
∂5Section→Page

.  SELECT 1;
.  RECEIVE
.end "contents";
.count section; skip 200;
.cb "1.  Introduction"

This report describes recent research in several related areas:

.begin indent 0,3; nojust; turn on "∂";
.at "⊗ " ⊂ "%Aα⊗%1 ∂4"⊃;
⊗ %2Basic research in artificial intelligence and formal reasoning%1
addresses fundamental problems in the representation of knowledge and
reasoning processes applied to this knowledge.  Solution of these problems
will make possible the development of analytical applications of computers
with large and complex data bases, where current systems can handle only a
very restricted set of data structures and queries.

⊗ %2Mathematical theory of computation%1 studies the properties of
computer programs.
The goal is to provide a sound theoretical basis for proving correctness or
equivalence of designs.

⊗ The goal of %2program verification%1 is to
improve the reliability of important classes of programs such as
compilers, operating systems and realtime control systems, and to
standardize techniques for program construction, documentation and
maintenance.

⊗ %2Image understanding%1 is aimed at mechanizing visual perception of
three-dimensional objects either from photographs or from passive imaging
sensors.  Advances in this field are expected to lead to much more
efficient photointerpretation capabilities as well as automatic visual
guidance systems.

.end
Appendices list dissertations, films, and other recent reports as well as
recent external publications by the staff.

.if false then start "updating films pubs and aims"

    ∂18-Apr-81  1810        LES  
     ∂18-Apr-81  1739       CLT     more ARPA
    Is it the case that
     "filmus[pub,act]"
     "pubs[pub,act]"
     "aims[pub,act]"
     "theses[bib,doc]" 
    should be updated before the proposal goes to press?
    If so how do I make it happen?
    Where does one find abstracts for recent (last two years) reports?
    -----------
    FILMUS is probably almost up to date.  There may be a hand-eye flick
    or two that should be added.

    In order to update PUBS, you should collect publication lists from all
    participants and compare.  At least that is the way I did it.
    A less labor intensive (and less reliable) scheme would be to ask
    all of the people involved to review and update PUBS directly.
    You would then have to review it and edit for format errors and
    consistency of style.

    I regret to report that most of the material needed to update AIMS has
    been discarded since Patte relinquished control.  It was put in the
    computer by Connie Stanley and more recently by Dawn Yolton in order to
    publish the CS abstracts lists.  Instead of saving the stuff, however,
    they deleted it.  I tried to get this changed a year ago but found
    I had little influence with Connie.  At this point, the only way
    available seems to be brute force: collect all the reports and have
    someone type in the abstracts.

    The THESES file can be updated from the information in the AIMS file.

.end "updating films pubs and aims"